Matthew 1 - PDFSEARCH.IO - Document Search Engine

Matthew 1
Results: 1372

#	Item
61	A Generic Logic for Proving Linearizability (Extended Version) Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 Add to Reading List Source URL: software.imdea.org - Date: 2016-09-06 10:47:26
62	Neuron Review Neuroscience-Inspired Artificial Intelligence Demis Hassabis,1,2,* Dharshan Kumaran,1,3 Christopher Summerfield,1,4 and Matthew Botvinick1,2 1DeepMind, Add to Reading List Source URL: deepmind.com
63	Transcriptomic Analysis of Brown Adipose Tissue across the Physiological Extremes of Natural Hibernation Marshall Hampton1, Richard G. Melvin2, Matthew T. Andrews2* 1 Department of Mathematics and Statistics, University Add to Reading List Source URL: www.d.umn.edu - Date: 2015-09-11 14:06:54
64	A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software Institute Add to Reading List Source URL: software.imdea.org - Date: 2016-09-06 10:47:15
65	1 Reinforcing the State: Transnational and State Labor Regulation in Indonesia1 Matthew Amengual Massachusetts Institute of Technology MIT Sloan School of Management Institute for Work and Employment Research Add to Reading List Source URL: web.mit.edu - Date: 2016-03-11 08:51:18
66	Seasonal and Regional Differences in Gene Expression in the Brain of a Hibernating Mammal Christine Schwartz1, Marshall Hampton2, Matthew T. Andrews1* 1 Department of Biology, University of Minnesota Duluth, Duluth, Minn Add to Reading List Source URL: www.d.umn.edu - Date: 2015-09-11 14:13:17
67	Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3 Add to Reading List Source URL: www.cs.utah.edu - Date: 2004-04-03 19:39:33
68	Scheme with Classes, Mixins, and Traits Matthew Flatt1 , Robert Bruce Findler2 , and Matthias Felleisen3 1 2 3 Add to Reading List Source URL: www.cs.utah.edu - Date: 2006-08-25 13:33:58
69	Towards Practical Gradual Typing˚ Asumu Takikawa1 , Daniel Feltey1 , Earl Dean2 , Matthew Flatt3 , Robert Bruce Findler4 , Sam Tobin-Hochstadt2 , and Matthias Felleisen1 1 Add to Reading List Source URL: drops.dagstuhl.de - Date: 2015-06-26 03:10:18
70	Reference: Racket Version 5.1 Matthew Flatt and PLT February 14, 2011 Add to Reading List Source URL: download.racket-lang.org - Date: 2014-03-03 14:52:13

UPDATE